#ifndef __RTTHREAD_HW_H__
#define __RTTHREAD_HW_H__

#include "rt_def.h"

void rt_hw_context_switch_to(rt_ubase_t to);
void rt_hw_context_switch(rt_uint32_t from, rt_uint32_t to);
rt_base_t rt_hw_interrupt_disable();
void rt_hw_interrupt_enable(rt_base_t level);



#endif /* __RTTHREAD_HW_H__ */